Automated Economic Reasoning With Mathematica